Dynamic Epistemic Spatial Logic ∗
نویسندگان
چکیده
In this paper we combine features of dynamic-epistemic logics with the spatial logics in order to obtain a decidable, fully axiomatized logic for expressing information flow in distributed multi-agent systems. Thus, Dynamic Epistemic Spatial Logic is as an extension of Hennessy-Milner logic with spatial and epistemic operators.
منابع مشابه
Decidable Extensions of Hennessy-Milner Logic
We propose a new class of logics for specifying and modelchecking properties of distributed systems Dynamic Epistemic Spatial Logics. They have been designed as extensions of Hennessy-Milner logic with spatial operators (inspired by Cardelli-Gordon-Caires spatial logic) and epistemic operators (inspired by dynamic-epistemic logics). Our logics focus on observers, agents placed in different loca...
متن کاملModel checking Dynamic Epistemic Spatial Logics ∗
We propose a new class of logics for specifying and model-checking properties of distributed systems Dynamic Epistemic Spatial Logics. They have been designed as extensions of Hennessy-Milner logic with spatial operators (inspired by Cardelli-Caires spatial logic) and epistemic operators (inspired by dynamic-epistemic logics). Our logics focus on observers, agents placed in different locations ...
متن کاملDynamic Epistemic Temporal Logic
We propose Dynamic Epistemic Temporal Logic, a dynamic-protocol framework that overcomes the Problem of Synchronicity in the popular Dynamic Epistemic Logic approach to reasoning about multi-agent belief change. Dynamic Epistemic Temporal Logic not only extends the domain of applicability of standard Dynamic Epistemic Logic, but it also clarifies how certain structural properties (such as synch...
متن کاملExtending probabilistic dynamic epistemic logic
This paper aims to extend in two directions the probabilistic dynamic epistemic logic provided in Kooi’s paper [7] and to relate these extensions to ones made in [10]. Kooi’s probabilistic dynamic epistemic logic adds to probabilistic epistemic logic sentences that express consequences of public announcements. The paper [10] extends [7] to using action models, but in both papers, the probabilit...
متن کاملDynamic Term-Modal Logic
A first-order dynamic epistemic logic is developed where the names of the agents are also terms in the sense of first-order logic. Consequently one can quantify over epistemic modalities. Using constructs from dynamic logic one can express many interesting concepts. First-order update models are developed and added to the language as modalities.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006